La preuve par le carnet B

Le traitement de la morve des equides par l'anamorve-sulfadiazine et la malleine-sulfamezathine

Approche interactive de la recherche d'images par le contenu

RÉSUMÉ. Cet article traite du problème de l’indexation et de la recherche d’images par le contenu dans les bases généralistes. Le fossé sémantique qui sépare l’information bas niveau extraite de l’image et la requête sémantique de l’utilisateur est la limite majeure rencontrée dans le domaine. L’aspect indexation est abordé sous l’angle de l’optimisation hors-ligne de la taille et de la pertine...

Une nouvelle approche pour la recherche d'images par le contenu

Résumé. On utilise l’analyse factorielle des correspondances (AFC) pour la recherche d’images par le contenu en s’inspirant directement de son utilisation en analyse des données textuelles (ADT). L’AFC permet ici de réduire les dimensions du problème et de sélectionner des indicateurs pertinents pour la recherche par le contenu. En ADT, l’AFC est appliquée à un tableau de contingence croisant m...

Application de la méthode par diffusion d'Oudin-Oakley pour le dénombrement des antigènes tétaniques

A machine-checked proof of correctness of Pastry. (Une preuve certifiée par la machine de la correction du protocole Pastry)

A distributed hash table (DHT) is a peer-to-peer network that o↵ers the function of a classic hash table, but where di↵erent key-value pairs are stored at di↵erent nodes on the network. Like a classic hash table, the main function provided by a DHT is key lookup, which retrieves the value stored at a given key. Examples of DHT protocols include Chord, Pastry, Kademlia and Tapestry. Such DHT pro...